GORLA, DANIELE: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Conflict vs causality in event structures

Gorla, Daniele, Salvo, Ivano

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2021

File:

PDF, 435 KB

2021

2

MHD three dimensional double diffusive flow of Casson nanofluid with buoyancy forces and nonlinear thermal radiation over a stretching surface

Gireesha, B.J., Archana, M, B.C, Prasannakumara, Gorla, R.S Reddy, Makinde, Oluwole Daniel, Lewis, RW

Journal:

International Journal of Numerical Methods for Heat & Fluid Flow

Year:

2017

Language:

english

File:

PDF, 893 KB

english, 2017

3

From Flow Logic to static type systems for coordination languages

Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese

Journal:

Science of Computer Programming

Year:

2010

Language:

english

File:

PDF, 1.11 MB

english, 2010

4

Foil bearing lubrication theory including compressibility effects.

GORLA, Rama Subba Reddy, CATALANO, Daniel A.

Journal:

JSME international journal Ser 3 Vibration control engineering engineering for industry

Year:

1989

File:

PDF, 619 KB

1989

5

[ACM Press the 3rd ACM SIGSOFT International Workshop - Tallinn, Estonia (2019.08.27-2019.08.27)] Proceedings of the 3rd ACM SIGSOFT International Workshop on App Market Analytics - WAMA 2019 - Release practices for iOS and Android apps

Domínguez-Álvarez, Daniel, Gorla, Alessandra

Year:

2019

Language:

english

File:

PDF, 565 KB

english, 2019

6

Restricted expression of T cell receptor Vβ but not Vα genes in rheumatoid arthritis

Alessandra Sottini, Luisa Imberti, Roberto Gorla, Roberto Cattaneo, Daniele Primi

Journal:

European Journal of Immunology

Year:

1991

Language:

english

File:

PDF, 672 KB

english, 1991

7

Preface

Daniele Gorla, Catuscia Palamidessi

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 99 KB

english, 2007

8

On the Expressive Power of Klaim-based Calculi

Rocco De Nicola, Daniele Gorla, Rosario Pugliese

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 283 KB

english, 2005

9

Security Policies as Membranes in Systems for Global Computing

Daniele Gorla, Matthew Hennessy, Vladimiro Sassone

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 347 KB

english, 2005

10

Synchrony vs Asynchrony in Communication Primitives

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 459 KB

english, 2007

11

Confining data and processes in global computing applications

Rocco De Nicola, Daniele Gorla, Rosario Pugliese

Journal:

Science of Computer Programming

Year:

2006

Language:

english

File:

PDF, 587 KB

english, 2006

12

Global computing in a dynamic network of tuple spaces

Rocco De Nicola, Daniele Gorla, Rosario Pugliese

Journal:

Science of Computer Programming

Year:

2007

Language:

english

File:

PDF, 405 KB

english, 2007

13

On the expressive power of KLAIM-based calculi

Rocco De Nicola, Daniele Gorla, Rosario Pugliese

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 492 KB

english, 2006

14

A taxonomy of process calculi for distribution and mobility

Journal:

Distributed Computing

Year:

2010

Language:

english

File:

PDF, 656 KB

english, 2010

15

Preface

Thomas Hildebrandt, Daniele Gorla

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 96 KB

english, 2009

16

On the Relative Expressive Power of Calculi for Mobility

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 354 KB

english, 2009

17

Basic observables for a calculus for global computing

Rocco De Nicola, Daniele Gorla, Rosario Pugliese

Journal:

Information and Computation

Year:

2007

Language:

english

File:

PDF, 840 KB

english, 2007

18

Comparing communication primitives via their relative expressive power

Journal:

Information and Computation

Year:

2008

Language:

english

File:

PDF, 385 KB

english, 2008

19

Towards a unified approach to encodability and separation results for process calculi

Journal:

Information and Computation

Year:

2010

Language:

english

File:

PDF, 481 KB

english, 2010

20

Dynamic management of capabilities in a network aware coordination language

Daniele Gorla, Rosario Pugliese

Journal:

The Journal of Logic and Algebraic Programming

Year:

2009

Language:

english

File:

PDF, 414 KB

english, 2009

21

TPV1, the first virus isolated from the hyperthermophilic genus Thermococcus

Aurore Gorlas, Eugene V. Koonin, Nadège Bienvenu, Daniel Prieur, Claire Geslin

Journal:

Environmental Microbiology

Year:

2012

Language:

english

File:

PDF, 655 KB

english, 2012

22

Selection of T Lymphocytes in two Rheumatoid Arthritis Patients Defines Different T-Cell Receptor Vβ Repertoires in CD4+ and CD8+ T-Cell Subsets

Alessandra Sottini, Luisa Imberti, Alessandra Bettinardi, Cinzia Mazza, Roberto Gorla, Daniele Primi

Journal:

Journal of Autoimmunity

Year:

1993

File:

PDF, 615 KB

1993

23

[Lecture Notes in Computer Science] CONCUR 2014 – Concurrency Theory Volume 8704 || Laws of Programming: The Algebraic Unification of Theories of Concurrency

Baldan, Paolo, Gorla, Daniele

Year:

2014

Language:

english

File:

PDF, 113 KB

english, 2014

24

[Lecture Notes in Computer Science] CONCUR 2014 – Concurrency Theory Volume 8704 ||

Baldan, Paolo, Gorla, Daniele

Year:

2014

Language:

english

File:

PDF, 8.97 MB

english, 2014

25

Differential Priming to Programmed Cell Death of Superantigen-Reactive Lymphocytes of HIV Patients

GORLA, ROBERTO, IMBERTI, LUISA, PRATI, ENRICA, BRUGNONI, DUILIO, CALIGARIS, SILVIO, CATTANEO, ROBERTO, ALBERTINI, ALBERTO, PRIMI, DANIELE

Journal:

AIDS Research and Human Retroviruses

Year:

1994

Language:

english

File:

PDF, 2.33 MB

english, 1994

26

Preface to special issue: Expressiveness in Concurrency 2008

HILDEBRANDT, THOMAS, GORLA, DANIELE

Journal:

Mathematical Structures in Computer Science

Year:

2010

Language:

english

File:

PDF, 186 KB

english, 2010

27

Tree-functors, determinacy and bisimulations

DE NICOLA, ROCCO, GORLA, DANIELE, LABELLA, ANNA

Journal:

Mathematical Structures in Computer Science

Year:

2010

Language:

english

File:

PDF, 535 KB

english, 2010

28

Preface to special issue: EXPRESS, ICE and SOS 2009

BONCHI, FILIPPO, FRÖSCHLE, SIBYLLE, GORLA, DANIELE, KLIN, BARTEK

Journal:

Mathematical Structures in Computer Science

Year:

2012

Language:

english

File:

PDF, 191 KB

english, 2012

29

[Lecture Notes in Computer Science] CONCUR 2014 – Concurrency Theory Volume 8704 || Qualitative Concurrent Parity Games: Bounded Rationality

Baldan, Paolo, Gorla, Daniele

Year:

2014

Language:

english

File:

PDF, 332 KB

english, 2014

30

A semiring-based trace semantics for processes with applications to information leakage analysis

BOREALE, MICHELE, CLARK, DAVID, GORLA, DANIELE

Journal:

Mathematical Structures in Computer Science

Year:

2015

Language:

english

File:

PDF, 467 KB

english, 2015

31

Full abstraction for expressiveness: history, myths and facts

GORLA, DANIELE, NESTMANN, UWE

Journal:

Mathematical Structures in Computer Science

Year:

2014

Language:

english

File:

PDF, 312 KB

english, 2014

32

[ACM Press the 8th ACM SIGPLAN symposium - Venice, Italy (2006.07.10-2006.07.12)] Proceedings of the 8th ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '06 - Inferring dynamic credentials for rôle-based trust management

Gorla, Daniele, Hennessy, Matthew, Sassone, Vladimiro

Year:

2006

Language:

english

File:

PDF, 273 KB

english, 2006

33

Validation of intravascular ultrasound for measurement of aortic diameters: Comparison with multi-detector computed tomography

Jánosi, Rolf Alexander, Gorla, Riccardo, Rogmann, Kim, Kahlert, Philipp, Tsagakis, Konstantinos, Dohle, Daniel-Sebastian, Wendt, Daniel, Jakob, Heinz, Schlosser, Thomas, Bossone, Eduardo, Erbel, Raimu

Journal:

Minimally Invasive Therapy & Allied Technologies

Year:

2015

Language:

english

File:

PDF, 967 KB

english, 2015

34

Preface

Baldan, Paolo, Gorla, Daniele

Journal:

Information and Computation

Year:

2016

Language:

english

File:

PDF, 124 KB

english, 2016

35

Detection of Clonal T Cell Populations with Closely Related T Cell Receptor Junctional Sequences in Persons at High Risk for Human Immunodeficiency Virus (HIV) Infection and in Patients Acutely Infected with HIV

Alessandra Bettinardi, Luisa Imberti, Alessandra Sottini, Eugenia Quiròs-Roldan, Massimo Puoti, Francesco Castelli, Gian Pietro Cadeo, Roberto Gorla and Daniele Primi

Journal:

The Journal of Infectious Diseases

Year:

1997

Language:

english

File:

PDF, 2.08 MB

english, 1997

36

Arthroscopic anterior cruciate ligament repair for proximal anterior cruciate ligament tears in skeletally immature patients: Surgical technique and preliminary results

Bigoni, Marco, Gaddi, Diego, Gorla, Massimo, Munegato, Daniele, Pungitore, Marco, Piatti, Massimiliano, Turati, Marco

Journal:

Year:

2016

Language:

english

File:

PDF, 1.27 MB

english, 2016

37

Inefficiencies in network models: A graph-theoretic perspective

Cenciarelli, Pietro, Gorla, Daniele, Salvo, Ivano

Journal:

Information Processing Letters

Year:

2018

Language:

english

File:

PDF, 400 KB

english, 2018

38

Semantic Subtyping for Objects and Classes

Dardha, Ornela, Gorla, Daniele, Varacca, Daniele

Journal:

The Computer Journal

Year:

2016

Language:

english

File:

PDF, 964 KB

english, 2016

39

A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes

BOTTONI, PAOLO, GORLA, DANIELE, KASANGIAN, STEFANO, LABELLA, ANNA

Journal:

Mathematical Structures in Computer Science

Year:

2018

Language:

english

File:

PDF, 258 KB

english, 2018

40

Effects of ACL Reconstructive Surgery on Temporal Variations of Cytokine Levels in Synovial Fluid

Bigoni, Marco, Turati, Marco, Gandolla, Marta, Sacerdote, Paola, Piatti, Massimiliano, Castelnuovo, Alberto, Franchi, Silvia, Gorla, Massimo, Munegato, Daniele, Gaddi, Diego, Pedrocchi, Alessandra, Om

Journal:

Mediators of Inflammation

Year:

2016

Language:

english

File:

PDF, 1.29 MB

english, 2016

41

Evaluation of thermorregulatory capacity of dairy buffaloes using infrared thermography

Sevegnani, Kelly B, Fernandes, Danielle P. B, Silva, Silvia H. Modenese-Gorla da

Journal:

Engenharia Agrícola

Year:

2016

File:

PDF, 605 KB

2016

42

Evaluation of thermorregulatory capacity of dairy buffaloes using infrared thermography

Sevegnani, Kelly B, Fernandes, Danielle P. B, Silva, Silvia H. Modenese-Gorla da

Journal:

Engenharia Agrícola

Year:

2016

File:

PDF, 605 KB

2016

43

Depletable channels: dynamics, behaviour, and efficiency in network design

Cenciarelli, Pietro, Gorla, Daniele, Salvo, Ivano

Journal:

Acta Informatica

Year:

2018

Language:

english

File:

PDF, 1.23 MB

english, 2018

44

A Polynomial-Time Algorithm for Detecting the Possibility of Braess Paradox in Directed Graphs

Cenciarelli, Pietro, Gorla, Daniele, Salvo, Ivano

Journal:

Year:

2019

Language:

english

File:

PDF, 655 KB

english, 2019

45

Validity and Reliability of a Test Battery to Assess Change of Directions with Ball Dribbling in Para-footballers with Cerebral Palsy

Daniel,, Reina,, Gorla,, Bastos,, Roldan,

Journal:

Year:

2020

Language:

english

File:

PDF, 621 KB

english, 2020

46

Oligoclonal CD4+CD57+ T-Cell Expansions Contribute to the Imbalanced T-Cell Receptor Repertoire of Rheumatoid Arthritis Patients

Imberti, Luisa, Sottini, Alessandra, Signorini, Simona, Gorla, Roberto, Primi, Daniele

Journal:

Year:

1997

File:

PDF, 2.26 MB

1997

47

Output Sampling for Output Diversity in Automatic Unit Test Generation

Menendez Benito, Hector, Boreale, Michele, Gorla, Daniele, Clark, David

Journal:

IEEE Transactions on Software Engineering

Year:

2020

File:

PDF, 697 KB

2020

48

Role-based access control for a distributed calculus

Braghin, Chiara, Gorla, Daniele, Sassone, Vladimiro, Focardi, Riccardo

Journal:

Journal of Computer Security

Year:

2006

File:

PDF, 328 KB

2006